package org.thss.petri.gef;

public class PetriNetModelManager {
	
}
